Physics-based Motion Planning with Temporal Logic Specifications muhayyuddin gillani 1:49 6 years ago 63 Скачать Далее
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets Notre Dame Robotics 1:42 1 year ago 217 Скачать Далее
Jana Tumova - Motion planning with temporal logic tasks and constraints IRLab University of Birmingham 56:47 3 years ago 552 Скачать Далее
MAPS2: Multi-Robot Anytime Motion Planning under Signal Temporal Logic Specifications Mayank Sewlia 0:52 10 months ago 78 Скачать Далее
SMC-based Linear temporal logic motion planning for teams of robots Resilient Cyber-Physical Systems Lab 1:53 5 years ago 315 Скачать Далее
Task Planning and Motion Control with Temporal Logic Specifications macro@ufmg 3:00 1 year ago 79 Скачать Далее
Multi-agent Motion Planning from Signal Temporal Logic Specifications Dawei Sun 4:44 2 years ago 89 Скачать Далее
Autonomy Talks - Jana Tumova: Formal Methods for Preferred Motion Planning Autonomy Talks 1:08:43 2 years ago 664 Скачать Далее
DoS-Resilient Multi-Robot Temporal Logic Motion Planning Resilient Cyber-Physical Systems Lab 2:59 5 years ago 311 Скачать Далее
Reactive Task and Motion Planning under Temporal Logic Specifications Robust Intelligence & Robotics Lab 2:29 3 years ago 1 025 Скачать Далее
SMC-based Linear temporal logic motion planning for teams of robots Resilient Cyber-Physical Systems Lab 0:37 5 years ago 158 Скачать Далее
Reactive Sampling-Based Path Planning with Temporal Logic Specifications Lehigh AIR Lab 4:41 4 years ago 74 Скачать Далее